Models of set theory in which separation theorem fails

We make use of a finite support product of the Jensen minimal forcing to define a model of set theory in which the separation theorem fails for projective classes ${\mathbf{\Sigma }}_n^1$ and ${\mathbf{\Pi }}_n^1$, for a given $n\ge 3$.