theorem Th660: :: NUMBER11:660
digits (3320,10) = <%0,2,3,3%>