I watched this documentary during a summer afternoon and I was left with tears in my eyes. It was touching and inspiring. A lot of hard work went into proving this. It made me appreciate mathematics in a much more deep sense.