Subadditivity of von Neumann Entropy

[Timeroot]

(This issue is for subadditivity, not strong subadditivity.)

Could follow e.g. the proof here. This theorem will require Klein's inequalit.