A priori bounds for KdV equation below H−34

We consider the Korteweg–de Vries equation (KdV) on the real line, and prove that the smooth solutions satisfy a priori local in time HsHs bound in terms of the HsHs size of the initial data for s≥−45.