Quod erat demonstrandum

Quod erat demonstrandum