Inner Product and Perpendicular Vectors