theorem Th620: :: NUMBER11:620

digits (2920,10) = <%0,2,9,2%>