Associative quasigroup implies group