a\equiv 2b\pmod p