Proved part of additivity correctness