query: Whst's the relationship between these two theorems?
positive_passages.docid: 19209
positive_passages.text: Why is compactness in logic called compactness?
negative_passages.docid: 147627
negative_passages.text: Relation between condition numbers $\kappa(A^T A)$ and $\kappa(A)$
negative_passages.docid: 109159
negative_passages.text: What's the intuition behind $(\exists y)(\mathscr{C}(y)\supset\mathscr{D})\supset((\forall x)\mathscr{C}(x)\supset\mathscr{D})$
negative_passages.docid: 111122
negative_passages.text: Proof of a theorem in Hilbert's system
negative_passages.docid: 24966
negative_passages.text: Converse of Lagrange's theorem for abelian groups
negative_passages.docid: 149727
negative_passages.text: Fundamental Theorem of Calculus.
negative_passages.docid: 39455
negative_passages.text: Prove that $(X\times Y)\setminus (A\times B)$ is connected
negative_passages.docid: 11509
negative_passages.text: Relationship between $\operatorname{ord}(ab), \operatorname{ord}(a)$, and $\operatorname{ord}(b)$
negative_passages.docid: 100399
negative_passages.text: A doubt with a part of a certain proof.
negative_passages.docid: 140454
negative_passages.text: Question regarding fundemental theorem of calculus
negative_passages.docid: 55680
negative_passages.text: The relationship of ${\frak m+m=m}$ to AC
negative_passages.docid: 138436
negative_passages.text: How to prove reflexivity, symmetry and transitivity for the following relation?
negative_passages.docid: 120065
negative_passages.text: Niven’s theorem proof.
negative_passages.docid: 133633
negative_passages.text: A question about path-connected and arcwise-connected spaces
negative_passages.docid: 87655
negative_passages.text: Consequence of the Hahn-Banach Theorem
negative_passages.docid: 43197
negative_passages.text: Showing that two definitions of $\limsup$ are equivalent
negative_passages.docid: 31392
negative_passages.text: Examples and Counterexamples of Relations which Satisfy Certain Properties