>Is there really a formal proof or Software Engineering paper that proves this? Yes (page 7): https://arxiv.org/pdf/1901.10220.pdf https://arxiv.org/pdf/1901.

>Is there really a formal proof or Software Engineering paper that proves this? Yes (page 7): https://arxiv.org/pdf/1901.10220.pdf https://arxiv.org/pdf/1901.10220.pdf