theorem Th770: :: NUMBER11:770

digits (572,10) = <%2,7,5%>