theorem Th524: :: NUMBER11:524
digits (1960,10) = <%0,6,9,1%>