A-Quivalence is following