“…In spite of the "naturalness" of the statement of the theorem, the similar statement, "If a Boolean algebra is generated by the union of finitely many atomic subalgebras, then it is atomic" is false. Consider the following: Let A denote the direct product of B t and J5 2 , and define A t to be the subalgebra of A with elements (0, 0), (0,1), (1,0), (1,1) and A 2 to be the subalgebra of A generated by all elements of the form (z, 0), where z is an atom of B, and the elements (x if #*), i = 1, 2, . It is easy to see that both A t and A 2 are atomic, and that their union generates the nonatomic Boolean algebra A.…”