theorem :: NEWTON07:47

for n being Nat holds Parity ((n + 2) !) = (2 * (Parity (Triangle (n + 1)))) * (Parity (n !))