造鏡者公式證明