Erstatning

(Se kommutativ kontrakt)