燕尾定理