caasih_, au, Jcrt: 剛剛補了進階部分的證明