In particular, if x∈L, then by the transitivity of L, y∈L. If we use this same y as in V, then it is still disjoint from x because we are using the same element relation and no new sets were added.
Πιο συγκεκριμένα, αν x∈L, τότε από την μεταβατικότητα του L, προκύπτει ότι και y∈L.Αν χρησιμοποιήσουμε το ίδιο y όπως στο V, τότε είναι ακόμη ξένο από το x επειδή χρησιμοποιούμε την ίδια στοιχειώδη σχέση ενώ δεν έχουν προστεθεί καθόλου νέα σύνολα.