First proof in Appendix