In this section,
we give a unified treatment of both Theorem REF 
and Theorem REF .
Our treatment is more concise than the original proof.
We need to use a recent result of Choi [1]}, [2]},
which investigates more relations between
the partial traces and
the partial transpose.
