theorem Th812: :: NUMBER11:812

digits (1122,10) = <%2,2,1,1%>