theorem Th884: :: NUMBER11:884

digits (2002,10) = <%2,0,0,2%>