A proposed draft proof:

 

Notes of class discussion on improvements: