Wolfgang Smith’s Entanglement Theorem