quod erat demonstrandum view 3