0 ! = 1 by RVSUM_1:94;