Negative entropy in quantum information theory