構成的かそうでないかは文脈にもよるだろう。
(長いR)^4上に複素構造を構成する問題は
非構成的な長いRの存在を前提としている。