theorem Th535: :: NUMBER11:535
Sum (digits (2060,10)) = 8