generated at
結合律
associative law