T002
Premises:
(= a b) (P a)
Conclusion:
(P b)
Proof Trace