Q.E.D