theorem anw6l (a b c d e f g h: wff): $ a -> h $ > $ a /\ b /\ c /\ d /\ e /\ f /\ g -> h $;
a -> h
a /\ b -> h
a /\ b /\ c /\ d /\ e /\ f /\ g -> h