Les 8 classes copremières à 30 : {1,7,11,13,17,19,23,29}.

  • Densemble fini exact, certifié Lean (native_decide)
Ce que cela montre

l’alphabet du programme : tout premier > 5 tombe dans l’une des 8 classes.

Ce que cela ne prouve pas

aucune loi globale sur les premiers.

Régime · démonstratif

Commentaires
Cet espace accueille questions, remarques, intuitions et critiques.
Un commentaire n’engage pas le statut scientifique du projet.
Toute proposition mathématique doit pouvoir être formulée, testée et classée.