>>277
OG↑・AB↑=0、OG↑・AC↑=0 を示せばいい。