Let H and K be finite dimensional Hilbert spaces, T : B(H) → B(K) be a coarse-graining and D 1 , D 2 be density matrices on H. In this paper the consequences of the existence of a coarse-graining β :H (p) (s = 1, 2) should hold with pairwise orthogonal summands and with commuting factors and with some probability distributions λ s (p) for 1 ≤ p ≤ r (s = 1, 2). This decomposition allows to deduce the exact condition for equality in the strong subaddivity of the von Neumann entropy.Mathematics Subject Classification: 81R15, 62B05, 94A15.