then for a ≠ 0