theorem Th1085: :: NUMBER11:1085
digits (275,10) = <%5,7,2%>