Given the coordinates of four points $P_1$, $P_2$, $P_3$, and $P_4$ in 2D space, determine if these points form a square.

Each point $P_i$ is represented as $[x_i,\space y_i]$ ...