aかつbより大きい最初の素数>c