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