US-TST 2020 Problem 4

For a finite simple graph $G$, we define $G^{\prime}$ to be the graph on the same vertex set as $G$, where for any two vertices $u \neq v$, the pair $\{u, v\}$ is an edge of $G^{\prime}$ if and only if $u$ and $v$ have a common neighbor in $G$. Prove that if $G$ is a finite simple graph which is isomorphic to $\left(G^{\prime}\right)^{\prime}$, then $G$ is also isomorphic to $G^{\prime}$.