trick, that can be used in many mathematical situations. With such tricks, it is usually difficult, and in any case not desirable, to formalize them as lemmas: if you try to do so then almost certainly your formal lemma will not apply in all the situations where the trick does.