Update avond2-mutual-exclusion/excercise13/description.md

opzet van bewijs