 Subadditivity of Von Neumann entropy

For a bipartite density operator ${\rho }_{AB}$,Equality holds exactly when ${\rho }_{AB}={\rho }_A\otimes {\rho }_B$.