theorem Th650: :: NUMBER11:650

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