A short proof of the non-biplanarity of K_9

08/12/2020

∙

by   Ahmad Biniaz, et al.

∙

0

∙

share

Battle, Harary, and Kodama (1962) and independently Tutte (1963) proved that the complete graph with nine vertices is not biplanar. Aiming towards simplicity and brevity, in this note we provide a short proof of this claim.