が任意の置換について満足される。