Les attribuables sont les possibles moins les principaux attribués seulement, car les non principaux sont toujours attribuables à l'infini. On ne retire donc des possibles que les attribués qui sont des principaux, et non tous les attribués complets.