そりゃ定理そのものだろ。理解できてるのか?
理解できてるなら、なんで
> yが1を含むとき |xy|>p
だ?