theorem :: NEWTON:13

1 ! = 1 by FINSEQ_2:50;