Theorem With ∣∣⋅∣∣ as a Norm for Vector Space V ∣∣⋅∣∣ is Induced by a Inner Product ⟺∣∣x+y∣∣2+∣∣x−y∣∣2=2(∣∣x∣∣2+∣∣y∣∣2)