Then Janos Pintz joined the team and they completed the proof in 2005.
Μετά ο Γιάνος Πιντς προστέθηκε στην ομάδα τους και ολοκλήρωσαν την απόδειξη το 2005.