theorem Th1220: :: NUMBER11:1220

Sum (digits (2725,10)) = 16