Numbers k such that prime(k)^prime(k+1) == prime(k+3) (mod prime(k+2))