theorem Th12: :: NEWTON:12

0 ! = 1 by RVSUM_1:94;