Suppose xn → x and Pxn → y.
假定 xn → x 而 Pxn → y。