theorem Th1221: :: NUMBER11:1221
digits (2750,10) = <%0,5,7,2%>