One Diagonal of Kite Bisects the Other

Theorem
Let $ABCD$ be a kite such that:
 * $AC$ and $BD$ are its diagonals
 * $AB = BC$
 * $AD = DC$

Then $BD$ is the perpendicular bisector of $AC$.