oh, I think you and I made a slight error. It's not:
P(A|B) = P(A)P(B)
but
P(A \cap B)=P(A)P(B)
If you wanted to use conditional probability, then the equation would be:
P(A|B) = P(A)
Anyways, I don't think this changes the concept, just the notation:
P( (x=a) \cap (y=b))=P(a,b)=f(a)g(b), then it must be true that P(x,y)=f(x)g(y), or that the state can be written:
<br />
|\psi>=|\sqrt{f}>\otimes|\sqrt{g}> <br />
Where here the x,y, positions are uncorrelated, and:
<br />
(<x|\otimes <y|)|\psi>=\sqrt{f(x)} \sqrt{g(y)} <br />
addendum
I guess technically one should show that if \psi(x,y) can't be written as a direct product, i.e., \psi(x,y)\neq f(x)g(y), then it's modulus squared can't be written as one either. But that's easy, since if it's modulus squared could be written as one, then just by taking the square root contradicts that \psi(x,y) can't be written as a direct product.