Nilpotency of the Bauer-Furuta stable homotopy Seiberg-Witten invariants

We prove a nilpotency theorem for the Bauer-Furuta stable homotopy Seiberg-Witten invariants for smooth closed 4-manifolds with trivial first Betti number.