theorem Th1240: :: NUMBER11:1240

Sum (digits (3050,10)) = 8