theorem Th588: :: NUMBER11:588

digits (2600,10) = <%0,0,6,2%>