Il existe d'autres théorèmes pour lesquels une preuve est connue, mais la preuve ne peut pas être facilement écrite.
Il existe d'autres théorèmes pour lesquels une preuve est connue, mais il n'est pas facile de l'écrire.