A proposed draft proof:

Notes of class discussion on improvements: