theorem Th1181: :: NUMBER11:1181
digits (2075,10) = <%5,7,0,2%>