  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.
