even(0)=true, even(s(s(0)))=true, even(s(s(s(s(0)))))=true