@&& 1)  Z ii (H Ex2 infimum supremumpc י