ax(B,C) ∩ ax(B,E) = ax(B,C) ∩ ax(B,D)