theorem Th438: :: NUMBER11:438

digits (1100,10) = <%0,0,1,1%>