theorem Th36: :: NUMBER11:36

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