theorem Th600: :: NUMBER11:600

digits (2720,10) = <%0,2,7,2%>