矢印は入れないよ
A→B は、AをBに置換するって意味ね