theorem Th50: :: AFVECT0:50

for AFV being strict AffVect
for o being Element of AFV holds AFV = AV (GroupVect (AFV,o))