Appendix: Towards Lower Bounds on the Depth of ReLU Neural Networks Christoph Hertrich, Amitabh Basu, Marco Di Summa, Martin Skutella A Detailed Proof of Proposition 1.3