theorem Th902: :: NUMBER11:902

digits (2222,10) = <%2,2,2,2%>