Η μεγαλύτερη απόδειξη στην ιστορία των Μαθηματικών φτάνει τα 200 terabyte