The theorem about the AXBXC decomposition completes the construction of a circuit for a general unitary matrix using only CNOT and single qubit operators.