Scalar product and perpendicular vectors