\alpha \beta \in P