Function scalar_subtract_ext_field 

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