Question 1004998
Everything looks great. Don't forget to indent the proper parts of the proof to show where/how things are nested.