theorem Th1321: :: NUMBER11:1321
digits (4300,10) = <%0,0,3,4%>