Верно ли что для каждой из точек найдётся другая такая что все оставшиеся лежат по одну сторону от прямой

#include<iostream>
#include<math.h>
using namespace std;
const int n=15;
int main(){
    int x,y,k,m,z,A,B,C;
for(i=0; i<n; i++) {
 for(j=0; j<n; j++) {
   if (i==j) continue;
   A = y[j] - y[i];
   B = x[i] - x[j];
   C = -x[i]*(y[j] - y[i]) + y[i]*(x[j] - x[i]); 
   for (k=m=0;  k<n; k++) {
     if (k==i || k==j) continue;
     if (m==0) { z = A*x[k]+B*y[k]+C;  m =1; }
     else if ((A*x[k]+B*y[k]+C)*z < 0) break; 
   }
    if (k<n) continue;  
    break;
 }
  if (j==n) break;
}
 if (i==n) 
 cout<<"Yes";
 else       
 cout<<"No";
 return 0;
 }

if (j==n) break;
}
 if (i==n) 
 cout<<"Yes";
 else       
 cout<<"No";
 return 0;
 }

#include<iostream>
using namespace std;
 
int main() {
    const int n = 15;
    int k{}, m{}, z{}, A{}, B{}, C{};
    int x[n] = { 1, 2, 3, 4, 15, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 };
    int y[n] = { 1, 2, 3, 4, 15, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 };
 
    for (int i = 0; i < n; i++) {
        for (int j = 0; j < n; j++) {
            if (i == j) continue;
            A = y[j] - y[i];
            B = x[i] - x[j];
            C = -x[i] * (y[j] - y[i]) + y[i] * (x[j] - x[i]);
            for (; k < n; k++) {
                if (k == i || k == j) continue;
                if (m == 0) { z = A * x[k] + B * y[k] + C; m = 1; }
                else if ((A * x[k] + B * y[k] + C) * z < 0) break;
            }
            if (k < n) continue;
            break;
            if (j == n) break;
        }
        
        if (i == n)
            cout << "Yes";
        else
            cout << "No";
    }
    return 0;
}