theorem Th251: :: NUMBER11:251
digits (357,10) = <%7,5,3%>