Coq:xd Voorbeeld