Update wimasyntax.md

Beweiskästchen q.e.d. ergänzt