theorem Th898: :: NUMBER11:898
digits (2156,10) = <%6,5,1,2%>