theorem Th546: :: NUMBER11:546
digits (2180,10) = <%0,8,1,2%>