. Preuve, Considérant un alignement optimale (forêt) A 4 de F 1 , F 2 , F 3 et F 4 Il y a quinze ( 2 4 ? 1) étiquettes possibles du rightmost A 4 , soit tous les combinaisons possibles à partir des rightmost des F i sauf la combinaison (?,?,?,?)