存在証明、はじめました? - zeta