theorem Th772: :: NUMBER11:772

digits (594,10) = <%4,9,5%>