a \ne 0