>>406

田中一之、鈴木登志雄著『数学のロジックと集合論』

のp.77の定理2.10のステートメントです。