以下の命題は任意の実数の組(x，y)について成り立つか？
成り立つなら証明をし、成り立たないなら成り立たない実数の組(x，y)を全て求めよ
命題：「適当な実数aを用いてx=ap，y=a^2qと定めれば、p＞qとできる」