theorem Th1146: :: NUMBER11:1146

Sum (digits (1450,10)) = 10