thus g * f is Permutation of A ; :: thesis: