Pre-multiplying it with y−1 and then taking the inverse, Bob gets K. In the original formulation of this protocol the group used was the group of invertible matrices over a finite field.
Умножив его на y−1 и взяв обратный элемент, Боб получает K. В первоначальной формулировке этого протокола использовалась группа обратимых матриц над конечным полем.