Ah non, on souffre suffisamment des quelques domaines où le vocabulaire est buggué, n'en rajoutons pas...
J'imagine le cauchemar s'il fallait commencer tous les théorèmes par "soit p un nombre premier qui n'est pas une unité..."