theorem Th818: :: NUMBER11:818

digits (1188,10) = <%8,8,1,1%>