my original question was simply
if its true that for any natural numbers a,b,p
(a+b)^p = a^p + b^p (mod p)
is satisfied if and only if p and (p-1)! are co-prime.
i now understand that the answer is no because even if the p factor is divided from p! it does not necessarily mean that the sum...