I think this is very well done. The explanation is sufficiently clear that even I, the non-formal-math person, can follow the logic.
I think this is very well done. The explanation is sufficiently clear that even I, the non-formal-math person, can follow the logic.