Reescribiendo la comprobación de 8-reescribibilidad para A A_5 A