theorem Th55: :: NUMBER11:55
digits (11,10) = <%1,1%>