theorem Th659: :: NUMBER11:659
Sum (digits (3300,10)) = 6