>>507
{1*3*5*…*(p-2)}^2≡p-1 mod p