theorem Th725: :: NUMBER11:725

Sum (digits (3960,10)) = 18