Strong Elliptic Pseudoprime
Let n be an elliptic pseudoprime associated with (E, P), and let n + 1 = 2^s k with k odd and s>=0. Then n is a strong elliptic pseudoprime when either k P congruent 0 (mod n) or 2^r k P congruent 0 (mod n) for some r with 1<=r