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

I show that if a term is SN for β, it remains SN when some permutation rules are added.