Q.e.d