We present a general method for constructing pure-product-state representat
ions for density operators of hi quantum bits. If such a representation has
non-negative expansion coefficients, it provides an explicit separable ens
emble for the density operator. We derive the condition for separability of
a mixture of the Greenberger-Horne-Zeilinger state with the maximally mixe
d state.