theorem Th627: :: NUMBER11:627

Sum (digits (2980,10)) = 19