为什么不可以直接跑普通的 $\text{BSGS}$ ,感觉证明上没有什么问题？