theorem Th1160: :: NUMBER11:1160

Sum (digits (1725,10)) = 15