for c being Integer st c > 1 holds
1 mod c = 1