theorem Th599: :: NUMBER11:599

Sum (digits (2700,10)) = 9