theorem Th816: :: NUMBER11:816

digits (1166,10) = <%6,6,1,1%>