for n being odd Nat st n <= 2 holds
n = 1