自由代换

free substitution