  We supply a rigorous proof that an open dense set of all possible 2-qubit
gates G has the property that if the quantum circuit model is restricted to
only permit swap of qubits lines and the application of G to pairs of lines,
then the model is still computationally universal.
