米尔米尔垂直的证明