A 50-year-old computer-assisted proof

4 points | by speckx 6 hours ago