数列 $a_n$ が有界であれば、収束する部分列を少なくとも一つ持つという定理はどれか。

環 $R$ から環 $S$ への準同型写像 $\phi$ の核（$\text{Ker } \phi$）は、常に $R$ の何になるか。