Mostra por indução transfinita que existe uma família que satisfaz (2) e (3). Depois mostra que existe uma família que satisfaz (1), (2) e (3).