PrA25Ind
Premises:
(forall ?X (= (+ 0 ?X) ?X)) (forall (?X ?Y) (= (+ ?X (succ ?Y)) (succ (+ ?X ?Y))))
Conclusion:
(forall (?X ?Y) (=> (= (+ 0 ?X) (+ 0 ?Y)) (= ?X ?Y)))