theorem Th1028: :: NUMBER11:1028

Sum (digits (1449,10)) = 18