theorem Th530: :: NUMBER11:530
digits (2020,10) = <%0,2,0,2%>