Espinoza's Spring 2022 Proofs