电解一定是一个氧化还原反应吗