Własności działań na liczbach całkowitych