[throwawaymath]

Yeah that's the math lore what I was referencing when I put the word margin in quotes :)

I wasn't sure if the author was making an intentional callout to Fermat's lost marvelous proof he couldn't fit in the margin. But indeed, looks like he was, since he doesn't seem to have really mentioned the length of any other proofs.