Q.e.d. 4.1