theorem Th14: :: SYMSP_1:14

for F being Field
for S being SymSp of F
for a, b, x being Element of S st not a _|_ holds
a _|_