>>353
代入して成り立つのが解。