quod erat demonstrandum

quod erat demonstrandum - ce qu'il fallait démontrer