Математические правила упрощения выражений.