A short proof that adding some permutation rules to beta preserves SN

I show that, if a term is $SN$ for $\beta$, it remains $SN$ when some permutation rules are added