空白と嘘の存在証明