theorem simp1: :: FIELD_14:2

for F being Field
for E being FieldExtension of F
for T1, T2, T3 being Subset of E st FAdj (F,T1) = FAdj (F,T2) holds
FAdj (F,(T1 \/ T3)) = FAdj (F,(T2 \/ T3))