Thomas267_gA
(Click "Prove" to run)
Prove Theorem:
(<=> (forall ?X (=> (F ?X) (forall ?Y (G ?X ?Y)))) (forall ?Y (=> (F ?Y) (G ?Y ?Y))))
Proof Trace