tp @! &&tpn$kn$kPzpiiiiiiiiPzp {_{Ex 2 infimum supremumpc {_{Re)Ex r infimum supremumpcRe)'2jEx 2 infimum supremumpc'2jpEx r infimum supremumpcp