In the Greenberger-Horne-Zeilinger-Mermin (GHZM) proof of Bell's theorem, a source periodically emits an entangled state of three particles whose properties are analyzed by three distant observers and used to prove Bell's nonlocality theorem. This paper analyzes a somewhat different gedanken experiment involving only two observers that nevertheless makes indirect use of the GHZ states to prove Bell's theorem. The relationship of the GHZM proof to the present one is discussed, and it is pointed out that the latter provides an interesting new view of the connection between the "two theorems of John Bell".
It is proved that all states of three spin-
21 particles exhibiting an ``all versus nothing'' contradiction between quantum mechanics and the local realism of Einstein, Podolsky, and Rosen are exactly the Greenberger-Horne-Zeilinger (GHZ) states and the states obtained from them by local unitary transformations. The proof is obtained by showing that there are at most four elements (except for a different sign) in a set of mutually commuting nonlocal spin observables in the three-qubit system and using the certain algebraic properties that Pauli's matrices satisfy. We show that only does such a set of four nonlocal spin observables present a Greenberger-Horne-Zeilinger-Mermin-like argument. This also reveals the equivalence between the GHZ theorem and maximal violation of the Bell inequality.