theorem Th955: :: NUMBER11:955

digits (529,10) = <%9,2,5%>