theorem Th2: :: CAYLEY:2

for X being set holds permutations X c= Funcs (X,X)