theorem Th369: :: NUMBER11:369
Sum (digits (300,10)) = 3