関数eq(X,Y)は，引数X，Yが等しければ1を，異なれば0を返す。整数A，B，Cに対してeq(eq(A,B),eq(B,C))が1を返すための必要十分条件はどれか。