theorem Th167: :: NUMBER11:167
digits (15,10) = <%5,1%>