Comment by indoordin0saur

But all of these proofs are unreadable and seemed to have hallucinated in a bunch of irrelevant stuff, making them not especially useful.