https://datadosen.com/fa/Compactness_theorem