존재증명.부재증명. (space of zero )