関数eq(X, Y)は，引数XとYの値が等しければ1を返し，異なれば0を返す。整数A，B，C について，eq(eq(A，B)，eq(B，C))を呼び出したとき，1が返ってくるための必要十分条件はどれか。