Shorter Notes: A Short Proof of Mac Lane's Planarity Theorem