Conjugation of Submodule

See: