Quod erat demonstrandum | Aremiru