Function ext_field_subtract 

pub fn ext_field_subtract<FA>(
    x: [impl Into<FA>; 4],
    y: [impl Into<FA>; 4],
) -> [FA; 4]
where
    FA: PrimeCharacteristicRing,