Vector proof, angle between two vectors (PDF)