Quod erat demonstrandum: