"y" を ℓ"p" の元とし、