Proof

:30:00

Yeah, I think I've seen her at meetings,
but I don't think I've ever met her,

:30:05

She was born in Paris in 1776,

:30:09

Then I've definitely never met her,

:30:14

Ah, I'm... Sophie Germain,

:30:16

- I'm stupid, Germain primes,
- Right,

:30:20

Double them, add one,
you get another prime,

:30:23

Like two is prime,
double plus one is five, also prime,

:30:25

Right,

:30:27

Or 92,305 times two
to the 16,998th plus one,

:30:33

Right,

:30:34

That's the biggest one,
the biggest known one,

:30:39

Coming through!

:30:42

Oh, what the hell are they doing here?

:31:27

OK,

:31:28

Now we'd like to play a song
in tribute to a great man,

:31:32

a great mathematician,

:31:36

It's called "i,"

:31:40

One, two, one, two, three...