 Strong subadditivity of Von Neumann entropy

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