Dokaz, dolg tisoč strani, potrjuje Fermata