A BC=(A B)*(A C)