theorem Th822: :: NUMBER11:822

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