theorem Th814: :: NUMBER11:814

digits (1144,10) = <%4,4,1,1%>