Lower Bounds On The Complexity Of Quantum Proofs