even = !x -> ite (eqI x 0) 
                 True
                 (ite (eqI x 1)
                      False
                      (odd (sub x 1)));

odd = !x -> ite (eqI x 1) 
                True
                (ite (eqI x 0)
                     False
                     (even (sub x 1)));