实验拓扑:

 

 验证: