bibliographic details : 莱文森定理, 反常和真空相变