theorem Th1246: :: NUMBER11:1246

Sum (digits (3150,10)) = 9