KM158-7
(=> (forall ?X (exists ?Y (G ?X ?Y))) (exists ?Y (G ?Y ?Y)))
Proof Trace