theorem exp (a b c: wff): $ a /\ b -> c $ > $ a -> b -> c $;
a /\ b -> c
a -> b -> a /\ b
a -> b -> c