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

by J BATTLE, F HARARY, Y KODAMA
Venue:Bull. Amer. Math. Soe