for AFV being WeakAffVect ex a, b being Element of AFV st
( a <> b & not MDist a,b )