【模板】【证明】任意模数下的二次剩余求解