| 1 | So, now, the converse is the following theorem. | |
| 2 | So, what does the divergence theorem say? | |
| 3 | The more theorems you have, the more powerful you are. | |
| 4 | Publishing the source code of a program is the equivalent of publishing the proof of a theorem. | |
| 5 | Pierre de Fermat had proposed the theorem in 1637, and a proof had only recently been discovered when the episode aired. |