theorem Th766: :: NUMBER11:766
digits (528,10) = <%8,2,5%>