三棱锥的对棱是否异面?如何证明?