get normal form for: odd(s(s(s(s(s(s(s(s(s(s(s(s(s(s(s(0)))))))))))))))) % result: true