consistency theorem

Input interpretation

consistency theorem