存在証明

とは名ばかりの趣味のさくぶん。