theorem Th727: :: NUMBER11:727

Sum (digits (3980,10)) = 20