theorem Th11: :: SYMSP_1:11

for F being Field
for S being SymSp of F
for a, b, c, d being Element of S st d _|_ & d _|_ holds
d _|_