preuve syntaxique