  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.
