theorem Th133: :: NUMBER11:133
digits (247,10) = <%7,4,2%>