theorem Th526: :: NUMBER11:526

digits (1980,10) = <%0,8,9,1%>