@neauoire :: Huh, I never new that this was the first computer-assisted proof.