Q. E.D.