燕尾定理与蝴蝶三角形S