The equivalence of gyrocommutative gyrogroups and K-loops

It is known that gyrocommutative gyrogroups and K-loops are equivalent. This is a self-contained paper that presents the equivalence.