theorem Th1317: :: NUMBER11:1317

digits (4250,10) = <%0,5,2,4%>