解なんだから代入して成り立つようにに決まってるじゃんか