>>254
Newlander-Nirenbergによるもとの証明は難しかったが
線形のPDEの問題に直すと
ハーン・バナッハの定理の応用として
比較的簡単に証明できます。
与えられた概複素構造が実解析的であれば
何も使わなくてもできます。
S^6の複素構造の問題は
Atiyahが2016年に指数定理の応用として
非存在証明ができると主張したpreprintを書きましたが
誰も理解できませんでした。