>>850
AD↑={3AB↑+4AC/7}で良いでしょうか