2つ目の式をsについて解いて、1つ目の式に代入すればいいんじゃないか