代入補題。

id:keigoi