伊姆雷证明了什么