theorem Th591: :: NUMBER11:591
Sum (digits (2620,10)) = 10