Lmao. Quod erat demonstrandum.