「定数」であるaやbを「変数」であるpを使った式で置き換えていますが、この操作で解は保たれるんですかねー