|(4m+2)c≡2b (mod p-1)
|b≡(2m+1)c (mod p-1)
p-1は2の倍数なのでこういう導出はしちゃダメです。
(4m+2)c-2b が p-1の 倍数だからと言って (2m+1)c-b が p-1の 倍数とはいえません