Added needed proofs/results for GL(n) section