Математические доказательства делимости выражений на числа