Carré latin d ordre 9

La démonstration formelle de l'exactitude ou de l'erreur d'une démonstration de ce genre est très difficile. Les tentatives de démonstration de certaines grandes conjectures le montrent bien. Les argumentations sont parfois tellement subtiles qu'une toute petite poignée de mathématiciens au monde peuvent les comprendre.

Pourtant, il y a un moyen trivial (certes pas élégant, mais efficace) de montrer qu'un théorème finalement est faux : exhiber un contre-exemple. Cela suffirait.