Gram Schmidt Process Proof