theorem Th503: :: NUMBER11:503

Sum (digits (1740,10)) = 12