Préférer QED à CQFD pour impressionner le correcteur
(Quod Erat Demonstratum).