2^4*7≡17じゃない?