Subadditivity of Entropy