Z_3 de Asal Sayılar

Teorem : p asal => p ≡ ± 1 ( mod 3)

İspat : Z_3 ün elemanları {0,1,2} olmak üzere, p asal ise, 3 e tam bölünemez haliyle ya 1 ya da 2 kalanını vereceğinden, asal sayıların Z_3 de alabileceği değer ± 1 dir.