Associative quasigroup equals group