I think I figured that out.

Assume $U$ and $V$ are open in $M$ and $H \subseteq V$ and $K \subseteq U$, such that $U \cap V = \emptyset$.

**Lemma**: There are $\{D_n : n >0\}$ such that $D_n \subseteq U$ and $D_n = \prod_{k\leq n}(\alpha_{k}^{n}, \aleph_k] \times \prod_{k>n}\{0\}$ and $\prod_{k \leq m} (\alpha_k^{n}, \aleph_k] \subseteq \prod_{k \leq m} (\alpha_k^m, \aleph_k]$ for $m < n$.

**Proof:** By induction on n>0. If n=1 then define $g^1$ as following: $g^1(1)=\aleph_1$ and $g^1(k)=0$ for $k>1$. Then $g^1 \in K \subseteq U$. Hence there is $\alpha_1^1<\aleph_1$ such that $(\alpha_1^1, \aleph_1] \times \prod_{k>1} \{0\} \subseteq U$. Assume $\{D_k : k \leq n\}$ are defined. We should define $D_{n+1}$. Define $g^{n+1}$ as following: $g^{n+1}(k) = \aleph_k$ for $k \leq n+1$ and $g^{n+1}(k)=0$ for $k>n+1$. Then $g^{n+1} \in K \subseteq U$. Then for $k \leq n$ there are $\alpha^{n+1}_k$ such that $\alpha^{n+1}_k > \alpha^n_k$ and there is $\alpha_{n+1}^{n+1} < \aleph_{n+1}$ such that $\prod_{k \leq n+1} (\alpha_k^{n+1}, \aleph_k] \times \prod_{k>n+1} \{0\} \subseteq U$. $\square$

Select $y \in H$ as following: $\aleph_k > y(k) > \sup \{\alpha_k^n : n \geq k\}$. It is possible since $cf(\aleph_k) > \aleph_0$ for $k>0$. $y \in H \subseteq V$ therefore there is $W \subseteq V$ such that $y \in W$ and $W = (\prod_{k \leq n} (\beta_k, y(k)] \times \prod_{k>n} \aleph_k +1) \cap M$. Then $W\cap D_n \neq \emptyset$. So $U \cap V \neq \emptyset$.