This question was asked in Theorem 10.8

Pls make the video in english

Sai Koki's image