This is an expository paper I wrote at the end of the Differential Topology (Spring 2023) class at Euler Circle.