theorem Th1180: :: NUMBER11:1180

Sum (digits (2050,10)) = 7