平面蝴蝶定理之别证