3.5-compactness---definition.mp4