1: $. 

2: To prove the global convergence for PGiPN, we first show that $