その二つの式からひとつの式が導き出されるだけでもうひとつ式がないと無理だと思うんですが