theorem Th959: :: NUMBER11:959
digits (575,10) = <%5,7,5%>