theorem Th180: :: NUMBER11:180
digits (32,10) = <%2,3%>