第5問

異なる組 $(a,b),(c,d)$ の組は有限個しかない。各等式 $a+e^{i\theta}b=c+e^{i\theta}d$ は（同一の組でない限り）高々有限個の $\theta$ を排除する。その有限集合の外から $\theta$ を選べば、$U$ はちょうど $|S||T|$ 個の相異なる点をもつ。