Q. E. D.