theorem Th820: :: NUMBER11:820

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