theorem Th173: :: NUMBER11:173

digits (105,10) = <%5,0,1%>