theorem Th1311: :: NUMBER11:1311

digits (4175,10) = <%5,7,1,4%>