もしも、「存在」が存在しないと仮定する

それは、「存在」であることと矛盾する

よって、「存在」は存在する(証明終わり)