theorem Th527: :: NUMBER11:527

Sum (digits (1980,10)) = 18