Comment by safisher

"These are red flags unless this is correct in which case just kidding."

So why doesn't someone here verify the proof in itself rather than critique the author's typesetting?