用同底数幂的乘法法则推导出同底数幂的除法法则