theorem Th575: :: NUMBER11:575
Sum (digits (2460,10)) = 12