theorem Th640: :: NUMBER11:640

digits (3120,10) = <%0,2,1,3%>