Warner Slack's Theorem (~1 min)