Klein Four-Group is Group

Theorem
The Klein $4$-group $K_4$ is a group.

Proof
From Klein Four-Group as Subgroup of $S_4$ it is demonstrated that $K_4$ is a subgroup of the $4$th symmetric group.

Hence the result.