  We present an elementary and explicit proof of the separability criterion forcontinuous variable two-party Gaussian systems. Our proof is based on anelementary formulation of uncertainty relations and an explicit determinationof squeezing parameters for which the P-representation condition saturates the$Sp(2,R)\otimes Sp(2,R)$ invariant separability condition. We thus give theexplicit formulas of squeezing parameters, which establish the equivalence ofthe separability condition with the P-representation condition, in terms of theparameters of the standard form of the correlation matrix. Our proof iscompared to the past proofs, and it is pointed out that the original proof ofthe P-representation by Duan, Giedke, Cirac and Zoller(DGCZ) is incomplete. Away to complete their proof is then shown. It is noted that both of thecorrected proof of DGCZ and the proof of R. Simon are closely related to ourexplicit construction despite their quite different appearances.
Our proof is based on an elementary formulation of uncertainty relations and an explicit determination of squeezing parameters for which the P-representation condition saturates the $Sp(2,R)\otimes Sp(2,R)$ invariant separability condition. We thus give the explicit formulas of squeezing parameters, which establish the equivalence of the separability condition with the P-representation condition, in terms of the parameters of the standard form of the correlation matrix.