theorem Th1237: :: NUMBER11:1237

digits (3025,10) = <%5,2,0,3%>