theorem Th1156: :: NUMBER11:1156

Sum (digits (1625,10)) = 14