est un nombre premier distinct de chacun des nombres Il est donc supérieur ou égal à