Separable states and the SPA of a positive map

We introduce a nessecary condition for a state to be separable and apply this condition to the SPA of an optimal ositive map and give a proof of the fact that the SPA need not be the density ooperator for a separable state.