theorem Th1356: :: NUMBER11:1356

Sum (digits (4725,10)) = 18