3 Facts About Vector spaces with an inner product