A true TL;DR might be hard, but if the author finds the morning routine of the mathematician who discovered the proof worth mentioning, it's clear they aren't even trying.