A combinatorial theorem on labeling squares with points and its application