theorem :: NEWTON:18

for s, t being natural Number holds (s !) * (t !) <> 0 ;