theorem Th1299: :: NUMBER11:1299

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