Theorem: Cpdt.Chapter4.even4 (Cpdt/Chapter4/RecPred.lean)

State before:
⊢ Even 4
Tactic:
simp[Even.succSucc, Even.zero]
State after:
no goals