that the interval $[\{$S$1,...,$Sk$\},1]$ in SP$($n$)$ is isomorphic to SP$($k$)$