theorem Th75: :: NUMBER11:75
digits (132,10) = <%2,3,1%>