theorem Th806: :: NUMBER11:806

digits (1034,10) = <%4,3,0,1%>