ド・モルガンの法則
This equivalence can be established by applying De Morgan's laws twice to the fourth line of the above proof.