2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/71254This paper has been withdrawn due to an error in the proof. The paper implicitly assumed that every homotopically trivial knot is related to the unknot by negative crossings, which is false (as was pointed out to the author by Peter Ozsvath).This paper has been withdrawnGeometric Topology57MHeegaard Floer theory and property Ptext