I didn't quote a lot of theorems here because they all seem pretty trivial. Is this a sufficient proof? (Please note: I'm sure there are better ways to prove this, but I'm most interested in whether or not I'm formulating good/sufficient/test-worthy proofs). Thanks so much!