Theorem T (C A B : Bool) : C -> A -> B -> A.
   assumption.
   done.

Show Environment 1.