Diasumsikan
Diterima tanpa bukti.Sifat Distributif
Untuk semua bilangan bulat , , dan berlaku .
Penjelasan
Diterima tanpa bukti. Sifat inilah yang membuat faktor yang sama boleh dikumpulkan kembali setelah diuraikan — langkah yang dipakai hampir setiap pembuktian di peta ini.
Yang bergantung pada ini
Kalau teorema ini ternyata salah, semuanya ini ikut jatuh.