let rec is_zero = function
  n -> not (is_odd (n) or is_even_non_zero (n))