Addition and multiplication properties