>>934
では集合(p_1、p_2…)を、yとpを用いず定義できますか?