4-01 Addition proof