$\alpha\dot\cap\alpha = \alpha$