❌ a link to this proof does not appear at https://news.ycombinator.com/user?id=jshawl