theorem Th841: :: NUMBER11:841

Sum (digits (1452,10)) = 12