theorem Th637: :: NUMBER11:637

Sum (digits (3080,10)) = 11