theorem Th537: :: NUMBER11:537

Sum (digits (2080,10)) = 10