Added some proofs for additive
Popravek prejšnjega commita