for A being array holds A is permutation of A