“varlık teoremi” İngilizcede