Transit

Quod erat demonstrandum.