theorem Th223: :: NUMBER11:223
digits (34,10) = <%4,3%>