theorem Th908: :: NUMBER11:908

digits (2288,10) = <%8,8,2,2%>