数字は存在の証明