ParentFull threadmattr03·https://github.com/openai/math/blob/7ef5c0cc5ca4b0e072b7a050...looks like the real proof is in this fileView on HN