看到一個可供參考的定理。