ESC

Quod erat demonstrandum.