The fact that the boundary complex every polytope is shellable was assumed in 19th century proofs of Euler’s theorem in high dimension but it was first proved by Bruggesser and Mani in 1970. Peter Mani once told me that he found a crucial ingredient of the proof in a dream.