theorem Th585: :: NUMBER11:585

Sum (digits (2560,10)) = 13