Update wimasyntax.md

Wiederspruch für Beweise