What are some proofs that could be used to prove that a given rhombus is a square?