證明用到的符號這麼多，自己看的頭都暈了