theorem Th1057: :: NUMBER11:1057

Sum (digits (624,10)) = 12