theorem Th1177: :: NUMBER11:1177

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