theorem Th999: :: NUMBER11:999

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