>>790
a↑=b↑+c↑のときはどうですか?