A Short Proof of the Non-biplanarity of $$K_9$$
Ahmad Biniaz · Lecture notes in computer science · 2021
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.