 Strong subadditivity of quantum entropy

For a tripartite density operator ${\rho }_{ABC}$,Equivalently, conditioning on an additional quantum system cannot increase quantum conditional entropy.