Question 658220
associative prop.