The procedure is provably irreversible.

• 已经证明,此过程是不可逆的。