theorem Th804: :: NUMBER11:804

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