theorem Th12:
  0! = 1 by RVSUM_1:94;
