Condition nécessaire et suffisante pour que ait une solution :

- Condition nécessaire :

Pour que ait une solution il faut que soit inclus dans puisque est toujours un sous-ensemble de

- Condition suffisante :

Supposons alors possède une solution

En fait il y a d'autres solutions. Soit un sous-ensemble quelconque de Alors est aussi solution.

En effet

comme