An elementary non-commutative Freiman theorem · HackerTrans