若 p=2p=2p=2，则 a≥2a\ge2a≥2。若 a≤4a\le4a≤4，则 a!−26≤−2a!-26\le-2a!−26≤−2，因 mo>0m^o>0mo>0 不可能，故 a≥5a\ge5a≥5。若 a=5a=5a=5，则 mo=96=25⋅3m^o=96=2^5\cdot3mo=96=25⋅3，不是完全 ooo 次幂（o≥2o\ge2o≥2）。若 a≥6a\ge6a≥6，则 9∣a!9\mid a!9∣a!，故 mo≡−24≡3(mod9)m^o\equiv-24\equiv3\pmod9mo≡−24≡3(mod9)；但当 o≥2o\ge2o≥2 时，若 3∣m3\mid m3∣m，则 ooo 次幂为 0(mod9)0\pmod90(mod9)，若 3∤m3\nmid m3∤m 则它是模 999 的单位，两者都不能等于 3(mod9)3\pmod93(mod9)。故 p=2p=2p=2 无解。