theorem Th1: :: SYMSP_1:1

for F being Field
for S being SymSp of F
for a being Element of S holds a _|_