Every planar graph with nine points has a nonplanar complement (1962)

by J Battle, F Harary, Y Kodoma
Venue:Bull. Amer. Math Soc