Parity of natural numbers #
This file contains theorems about the
odd predicates on the natural numbers.
n are natural numbers, then the natural number
m^n is even
if and only if
m is even and
n is positive.