命題
f：X → Y を引き込み(過去スレ018の328)かつ単射とする。
このとき、f は同型である。

証明
>>238と双対原理(過去スレ018の159)。