反代换

inverse substitution