addition postulate

Мат. постулат сложения