A remark on projective embeddings of varieties with non-negative cotangent bundles. A homological criterion for reducibility of analytic spaces, with application to characterizing the theta divisor of a product of two general principally polarized abelian varieties 