My proof has finaly arrived! Needs some tweaking, but I’m quite satisfied!