证明完毕

quod erat demonstrandum