a\equiv_n a'