今更ながら集合論の基礎を勉強するにあたり

Jechの「Set Theory」で
かつ ならば
であることの証明を読んだのですが、何だか技巧的だなぁと感じました。
もしかしたら自分の直感が足りないだけで、慣れればごく自然な証明だと認識できるようになるのかもしれませんが。
もっと直接的な証明はないものでしょうか。