gọi d là ước của n
với n>1 => n-1 > n/d
với n là hợp số => n/d thuộc (n-1)! hay (n-1)! chia hết cho n/d
mà trong (n-1)! chắc chắc có 1 thừa số là d
=> (n-1)! chia hết cho d
với n là số nguyên tố
=> (n-1)! ko có ước của n
mà n-1 < n => (n-1)! ko chia hết cho n
với n=1 => thỏa mãn
vậy n=1 và n là hợp số => (n-1)! chia hết cho n