theorem Th906: :: NUMBER11:906
digits (2266,10) = <%6,6,2,2%>