ダイソン球だって理論上建設可能だしな