Post addition, Obviousness