 Strong pseudoprime

Write the even number $N-1$ as $2^{s}m$ with $m$ odd. An odd composite number $N$ is a strong pseudoprime to a coprime base $b$ whenor $b^{2^{j}m}\equiv -1(\mathrm{mod}N)$ for some $0\le j<s$.