Sort:  

Hey there, the formal proof is now up. You can find it here.