theorem Th434: :: NUMBER11:434
digits (1060,10) = <%0,6,0,1%>