User:Metajellyfish/Math770/

[Proof from HW7]