theorem Th652: :: NUMBER11:652

digits (3240,10) = <%0,4,2,3%>