theorem Th1091: :: NUMBER11:1091
digits (375,10) = <%5,7,3%>