(to the tune of *Somebody that I Used To Know*)

(Fermat)

Now and then I think of Diophantine equations

Like how Pythagoras showed the case for n=2

Told myself that I understood,

And didn't write down what I thought I would

Remember when I looked back at my marginalia.

You can get addicted to a certain type of hubris

Assuming you don't ened to use elliptic curves

So when I found my proof did not make sense,

I knew it wasn't my incompetence

But I'll admit I was confused to say the least.

But you didn't have to be so hard,

Make out like my intuitive method was for nothing

I don't even need to know

But they treat you like Wiles solved you and that feels so rough.

No you didn't have to stoop so low

Elliptic curves and modular forms lack in imagination

I guess I don't need you though,

Now you're just some theorem that I used to know.

Now you're just some theorem that I used to know.

Now you're just some theorem that I used to know.

(theorem)

Now and then I think of when you said you'd solved me.

Part of me believing I had some marvelous proof.

But I don't really work that way.

Adhering to eveyrthing you say.

You said that you could let it go,

And you shouldn't get too hung up on a theorem that you used to know!

(Fermat)

But you didn't have to be so hard,

Make out like my intuitive method was for nothing

I don't even need to know

But they treat you like Wiles solved you and that feels so rough.

No you didn't have to stoop so low

Elliptic curves and modular forms lack in imagination

I guess I don't need you though,

Now you're just some theorem that I used to know.

Now you're just some theorem that I used to know.

Now you're just some theorem that I used to know.

Some Theorem!

(I used to know)

Some Theorem!

(Now you're just some theorem that I used to know)

(I used to know)

(That I used to know)

(I used to know)

Some Theorem!