theorem Th261: :: NUMBER11:261
digits (442,10) = <%2,4,4%>