theorem Th1030: :: NUMBER11:1030

Sum (digits (1472,10)) = 14