theorem lemNor3xx: :: FIELD_13:21

for F being Field
for E, K being FieldExtension of F
for U1 being FieldExtension of E
for U2 being FieldExtension of K
for T1 being Subset of U1
for T2 being Subset of U2 st U1 = U2 & T1 = T2 & E == K holds
FAdj (E,T1) = FAdj (K,T2)