theorem Th427: :: NUMBER11:427

Sum (digits (980,10)) = 17