§ Compactness theorem as compactness of stone spaces [WIP ]

• https://math.stackexchange.com/a/864/261373