少なくとも一人は存在すれば
存在定理として成立する。