`A B C D` is a square `E ,F ,G ,` and `H` are points on `A B ,B C ,C D` and `D A` respectively, such that `A E=B F=C G=D Hdot` Prove that `E F G H` is a square.