Consistent Reduction III

Unterschied