for A, B being array st A is permutation of B holds
B is permutation of A