Key points are not available for this paper at this time.
We prove several theorems about quantum-mechanical entropy, in particular, that it is strongly subadditive.
Lieb et al. (Sat,) studied this question.