若已知四个点不共面则其中任意三点不共线