Az asszociativitás tételéhez elkészült a bizonyítás.