KM158_7
(Click "Prove" to run)
Prove Theorem:
(=> (forall ?X (exists ?Y (G ?X ?Y))) (exists ?X (G ?X ?X)))
Proof Trace