Boolean Prime Ideal Theorem/Extension Lemma

Theorem
Let $\struct {B, \vee, \wedge, \neg, \bot, \top}$ be a Boolean algebra.

Let $J \subseteq B$ have the finite join property.

Let $z \in B$.

Then either $J \vee z$ or $J \vee \neg z$ also has the finite join property.

Proof
that neither $J \vee z$ nor $J \vee \neg z$ has the finite join property.

Then there are $x_1, \dots, x_n, y_1, \dots, y_m \in J$ such that $x_1 \vee \dots \vee x_n \vee z = y_1 \vee \dots \vee y_m \vee \neg z = \top$.

Let $q = x_1 \vee \dots \vee x_n \vee y_1 \vee \dots \vee y_m$.

Then $q \vee z = q \vee \neg z = \top$.

Thus:

This contradicts the fact that $J$ has the finite join property.