theorem Th279: :: NUMBER11:279

digits (19,10) = <%9,1%>