如何运用PHP与GMP库对超大数字执行费马小定理验证测试?