このことは(他の)証明によく使われ、多くの結果が得られる。