theorem Th554: :: NUMBER11:554
digits (2260,10) = <%0,6,2,2%>