Wilson's Theorem Corollary

Iff a Prime $p$ is of the form $4x+1$, then

$$[(2x)!]^2\equiv -1\ \left({{\rm mod\ } {p}}\right).$$