theorem Th175: :: NUMBER11:175
digits (135,10) = <%5,3,1%>