蝴蝶定理的证明及推广