theorem Th598: :: NUMBER11:598
digits (2700,10) = <%0,0,7,2%>