When enough matter is condensed in a small region, gravitational effects will be strong enough to cause collapse and a black hole will be formed. We formulate and prove here such a statement in the language of general relativity. (This is Theorem 2 of this paper.)