KM160_12
(Click "Prove" to run)
Prove Theorem:
(=> (forall ?Y (G (B ?Y ?Y))) (forall ?Y (forall ?Z (G (B ?Y ?Z)))))
Proof Trace