A = B B.
B : D common <e>E <e> F.
D : C.
C = .
E = F.
F = .