quod erat demonstrandum

基本解释证完