建议最好写上 $a_0\neq 0$，因为 $0$ 是不是二次剩余存在争议。