theorem Th246: :: NUMBER11:246

Sum (digits (306,10)) = 9