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