>aとbが可変である
あとこれもウソ。yを決めればpもaもbも決定する。
定数として扱わなければウソ。