不妨设 a≥pa\ge pa≥p。若 p≥4p\ge4p≥4，则 a!a!a! 与 p!p!p! 都被 444 整除，故 mo=a!+p!−26≡−26≡2(mod4)m^o=a!+p!-26\equiv-26\equiv2\pmod4mo=a!+p!−26≡−26≡2(mod4)。但当 o≥2o\ge2o≥2 时，mom^omo 在 mmm 为奇数时是奇数，在 mmm 为偶数时能被 444 整除，因此 mo≡2(mod4)m^o\equiv2\pmod4mo≡2(mod4) 不可能。故 p∈{1,2,3}p\in\{1,2,3\}p∈{1,2,3}。