theorem Th559: :: NUMBER11:559
Sum (digits (2300,10)) = 5