I transcribed the great number theory jargon from the film-- which your link describes but fails to include in its entirety-- in this post: https://news.ycombinator.com/item?id=31379273