for n being odd Nat st 1 <> n holds
ex m being odd Nat st m + 2 = n