Function ext_field_one_minus 

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