Description: An inner product of an element with itself is real. (Contributed by Mario Carneiro, 7-Oct-2015)