beta(X^P, X, P).
