Une preuve mathématique, c'est équivalent à un programme informatique. Or les programmes informatiques sont soumis au copyright. J'en déduis que les preuves sont soumises au copyright, non ?