> Corollary 14 (There is no such thing as a torsor). A torsor is defined as a “group without a distinguished identity element.” No such object exists. The proof is immediate from the axioms of group theory.

I somehow doubt that a standard concept you can look up [0] is vacuous due to simple word games.

[0] https://ncatlab.org/nlab/show/torsor