theorem Th1274: :: NUMBER11:1274

Sum (digits (3625,10)) = 16