theorem Th603: :: NUMBER11:603

Sum (digits (2740,10)) = 13