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