To prove the theorem, we examine the properties of the inclusion map from A into B and show that it preserves limits.