relabelの証明を完成した。ProofCafe 2014_01_25 による。