Theorem 2.2.4 proof

This is for the spring 2024 Mathematics of Derivatives Securities class at the University of Virginia.

I didn't get to finish a proof in class today, so I promised a video.

This is the main theorem from the first section of the class.