呆呆和瓜瓜 证明定理