theorem Th890: :: NUMBER11:890
digits (2068,10) = <%8,6,0,2%>