The document presents a proof by contradiction of a theorem regarding some mathematical concept. It assumes the theorem is false and derives a contradiction using definitions and previously established results. This implies the original assumption was incorrect, proving the theorem is indeed true. A second method of proof is also provided using similar logical steps and references to definitions and axioms.