Projective Plane of Order 4 is Unique

Theorem
The finite projective plane of order $4$ is unique.