Talk:Measure is Subadditive

Is it desirable to split the corollary? --Lord_Farin 06:08, 26 April 2012 (EDT)