In their well-known argument against the completeness of quantum theory, Ei
nstein, Podolsky, and Rosen (EPR) made use of a state that strictly correla
tes the positions and momenta of two particles. We prove the existence and
uniqueness of the EPR state as a normalized, positive linear functional of
the Weyl algebra for two degrees of freedom. We then show that the EPR stat
e maximally violates Bell's inequalities.