theorem Th178: :: NUMBER11:178
digits (16,10) = <%6,1%>