網友 Meiyue Shao：
I would like to share with you an alternative proof of the statement on the post
The proof is quite similar to yours. But likely mine is relatively simple to follow. As you might want to reuse the contents, I attach the latex source which is written in traditional Chinese.