La libertad de elección de gauge se usa para convertir formula_17 en una componente de un isoespinor.