\lnot\lnot X\vdash\lnot\lnot\lnot\lnot X\Rightarrow\lnot\lnot X