P^nでも足りないK3曲面を埋め込めるような
十分に一般的な空間を考えることは可能ですか