すべての実数x,yについて成り立つという仮定の下だから、適当な1組を選べばよい