PA006
Premises:
(forall ?X (= (+ ?X 0) ?X))
Conclusion:
(= (+ (succ 0) 0) (succ 0))
Proof Trace