ce qu'il fallait démontrer

Phrase

 * 1) quod erat demonstrandum