theorem for the side of square