CRT && exgcd