theorem Th454: :: NUMBER11:454
digits (1260,10) = <%0,6,2,1%>