theorem :: DUALSP06:11

for V being RealNormSpace
for x being Point of V
for y being Point of (DualSp V) holds (- x) .|. (- y) = x .|. y