Enchaînement du critère de Korselt sur les nombres de Carmichael (en expliquant qu'ils sont donc un obstacle au bon fonctionnement du test découlant naturellement du théorème de Fermat), et de l'équivalence qui fournit le test de Solovay-Strassen (en sachant que le critère de Carmichael sert pour cette équivalence, donc ça fait un double lien)