KM158_6
(Click "Prove" to run)
Prove Theorem:
(=> (forall ?X (G ?X ?X)) (forall ?X (G a ?X)))
Proof Trace