>>416
(a,b,c) が従属だとわかったら、次は (a,b,d) を調べてみる。