Prove that $\mathfrak{p}$ is totally split in $L/K$ and $L'/K$ $\Rightarrow$ totaly split in $LL'/K$
7452
Splitting of primes in the compositum of fields
6410
Prove that $(ma, mb) = |m|(a, b)\ $ [GCD & LCM Distributive Law]
45405
An elementary way to show any bounded subset of $\Bbb{R}^k$ is totally bounded
120010
Show that $\aleph_{\alpha}^{\aleph_{1}} = \aleph_{\alpha}^{\aleph_{0}}\cdot 2^{\aleph_1}$
30770
Prove that $C\left(\bigcup_{\alpha\in I} A_\alpha\right)=\bigcap_{\alpha\in I}C\left(A_\alpha\right)$
155190
Stone-Weierstrass theorem with $p(1/x)$
52642
Show that $\text{C}/c \cong (c/(\text{C}^{\text{op}}))^{\text{op}}$
35236
Proof $p \vdash q \Rightarrow p$
144693
Show that if $B \subseteq C$, then $\mathcal{P}(B) \subseteq \mathcal{P}(C)$
137511
Trying to show that $\sup \{b^p:p\in Q,\;0<p<x\} = \inf\{b^q:q\in Q,\;x<q\}$
93806
$\|f\|_{L^{p}}=\sup\left\{\int_{{\bf R}^{n}}|f(x)g(x)|~dx:\|g\|_{L^{q}}\le1\right\}$
127687
Proof of the duality of the dominance order on partitions
87955
How to prove that $P \rightarrow Q$ is equivalent with $\neg P \lor Q $?
94469
How to prove that $|HK| = \dfrac{|H| \; |K|}{|H \cap K|}$?
133528
$\lvert K(\alpha_1,\dots,\alpha_n) : K \rvert$ is a divisor of $n!$
63321
Polynomials and partitions
92802
Proof of Borsuk-Ulam Theorem .