let rec is_even = function
  n -> if is_zero (n)
         then true
         else if is_one (n)
                then false
                else is_even (prepre (n))