theorem Th34: :: PARSP_2:34

for FdSp being FanodesSp
for a, b, c being Element of FdSp st not a,b,c are_collinear holds
ex d being Element of FdSp st parallelogram a,b,c,d