会给定一个数列

$e=\{(e_{1.x},e_{1,y}),(e_{2.x},e_{2,y}),\cdots,(e_{n.x},e_{n,y})\}$

求

$\dfrac{n(n-1)(n-2)}{6}-\sum\limits_{i=1}^{n}\sum\limits_{j=i+1}^{n}\sum\limits_{k=j+1}^{n}\bigg[(e_{i.x}-e_{j.x})\times(e_{j.x}-e_{k.x})\neq(e_{i.y}-e_{j.y})\times(e_{j.y}-e_{k.y})\bigg]$

对于谓词函数 $[Q]$，其值等于 $Q$ 的真假值。