Tovább javítva:
Minden x eleme V-re létezik H, hogy: x eleme H, és V eleme H és minden g eleme H-ra ha g!=x akkor ((van h eleme H, hogy kibővíthető(h,g))