Theorem 6.7

kavita govind's image