theorem Th289: :: NUMBER11:289
digits (114,10) = <%4,1,1%>