theorem Th662: :: NUMBER11:662
digits (3340,10) = <%0,4,3,3%>