generated at
交換律