ap is an equivalence