quod erat demonstrandum - undefined