ＢからＤへの全単射のうち終集合だけＣに変化したやつ考えるとそれは単射。またＢ⊃ＣよりＣからＢへの標準的単射存在。

ベルンシュタインより終わり。