theorem Th28: :: AFVECT0:28

for AFV being WeakAffVect
for a, p being Element of AFV holds
( PSym (p,a) = a iff ( a = p or MDist a,p ) )