theorem Th520: :: NUMBER11:520
digits (1920,10) = <%0,2,9,1%>