561と互いに素な任意の自然数nに対し、n^(560)を561で割ると1余ることを示せ