Remark: Product-free range belongs to the corner

The full $J({\Theta }^2)$ has the product direct summand $P_{\star }\otimes P_{\star }$. Its range is therefore not product-free. The proof of nonseparability uses the entangled corner, not a false product-free claim for the full channel Choi matrix.