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

by y K J Battle, F Harary
Venue:Bull. Amer. Math. Soc