거리공간과 Normal countable compact의 위상적이 Normal이라는 것은 A.H. Stone에 의하여 이미 밝혀졌고, V.I. Malyhin은 space expX의 Cardrmal invariant와 공간 X 사이의 관계를 논하였다. 본 논문에서는 V.I. Malyin이 밝힌 tightness의 개념을 도입하여 countable tightness의 pracompact와 normal strongly countable compact 공간의 topological product가 Normal이라는 것을 증명하였다.