Permutable implies locally subnormal

Statement
Any permutable subgroup of a group is a locally subnormal subgroup -- it is subnormal in its join with any finitely generated subgroup.

Related facts

 * Permutable implies subnormal in finite
 * Permutable implies ascendant