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