Andrew Wiles drew these diagrams in the margin of
an article he was reading about a problem of Fermat's. Wiles said he
had a more detailed proof of the inconsistency that used these
diagrams, but said it wouldn't fit into the margin.