>>437
OA,OB,OCは二次独立だから明らか。
でもそれじゃ答えになってないような気がする。