El teorema en cuestión (conocido como Pequeño teorema de Fermat o PTF) establece lo siguiente: