theorem Th880: :: NUMBER11:880
digits (1936,10) = <%6,3,9,1%>