theorem Th48: :: PARSP_2:48

for FdSp being FanodesSp
for a, b, c, d being Element of FdSp st a,b congr c,d holds
a,b '||' c,d