theorem Th656: :: NUMBER11:656
digits (3280,10) = <%0,8,2,3%>