Mn è primo se e solo se divide Ln-1, dove: L1 = 4, e Ln+1 = (Ln)2 - 2 Equivalentemente: Mn è primo se e solo se divide l'elemento di posto 2n-2 nella successione di Lucas Vk con parametri h = 4 e k = -1