>>442
居ないと証明できない限りは存在の否定は不可