Quod erat demonstrandum
Quod erat demonstrandum