No-deleting theorem