theorem :: NEWTON07:46

for n being even Nat holds Parity (n !) = Parity ((n + 1) !)