theorem Th295: :: NUMBER11:295

digits (171,10) = <%1,7,1%>