De Morgan's laws
This equivalence can be established by applying De Morgan's laws twice to the fourth line of the above proof.