theorem Th449: :: NUMBER11:449

Sum (digits (1200,10)) = 3