If e x y xy then