fact.

résoudre dans IN l'équation suivante: n!=n².

c'est facile de montrer que n!>n² pour tous n>=3
donc c'est clere que l'ensemble de solution est {1}