====== quod erat demonstrandum ======