Si el cuasigrupo verifica la existencia de elemento neutro, estamos ante un bucle.