theorem Th900: :: NUMBER11:900

digits (2178,10) = <%8,7,1,2%>