"Q.E.D."