P$($x $1,...,$ x n$)=\backslash$Pi iP$($x i$|$x $1,...,$ x i$1)$Provide a proof of its correctness.