このことはタウベスにより、ECH密接に関連するテクニックを使い証明されました;この仕事を拡張すると、ECHとSWFの間の同型が得られます.
まし