theorem Th1303: :: NUMBER11:1303

digits (4075,10) = <%5,7,0,4%>