Another formal proof that everyone already knew in practice, just now written in a fancy paper. Where's the surprise in that? https://www.reddit.com/user/Chocolate_Milk_Son