\lnot A\vdash\lnot(\lnot A\Rightarrow(\lnot A\Rightarrow A))