反证法
如果m是合数,m必有大于1小于m的素因子p|m
根据原题m|(m-1)!+1,所以p|(m-1)!+1
但p|(m-1)!,得到p只能为1,与假设矛盾