  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^1_n$ and $\mathbf\Pi^1_n$, for a given
$n\ge3$.
