theorem Th635: :: NUMBER11:635

Sum (digits (3060,10)) = 9