Confluence of bang modulo

We show that for the (untyped) bang-calculus β! is confluent modulo σ.