If the sum of two unit vectors is a unit vector