ResPubID26145, Carlsson orthogonality, characterization of inner product space, Pythagorean orthogonality, Isosceles orthogonality