El algoritmo está basado en las siguientes tres propiedades de la potencia: