And then we find that mathematicians have wicked senses of humour so use words like “common sense” as a self-deprecatory reference to the decade they spent find

And then we find that mathematicians have wicked senses of humour so use words like “common sense” as a self-deprecatory reference to the decade they spent finding the proof :D