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