Mirror Proposition 如镜定理