Recently, I made a small conclusion, but I found it is found and well-founded in some textbook. So I post my paper here.
Fugures:

Figure 1: path reduction

Figure 2: two counter examples

Figure 3: The process of the proof

Figure 4: Cantor-like functio