命題
X と Y を集合とする。
|Y| ≦ |X|（過去スレpart1の180）とする。
X が小さい集合（>>633）のとき小さい集合 Z で |Y| = |Z| となるものが存在する。

証明
|Y| ≦ |X| であるから X の部分集合 Z で |Y| = |Z| となるものが存在する。
>>631の（3）と（1）より Z は小さい集合である。
証明終