In quantum information theory, a necessary condition for the joint density matrix of two quantum mechanical systems to be separable