theorem Th1084: :: NUMBER11:1084

Sum (digits (250,10)) = 7