由于异面直线的定义是非共面,正如不相交即平行（初中初等几何的概念）,因此无论怎么实用高级定理,其本身必然用到了不共面,当然有高级定理了,据我所知只有一个定理!