Quod erat demonstrandum
Q. E. D.