theorem Th38: :: NELSON_1:61

for L being Nelson_Algebra
for a, b, c being Element of L st a < b holds
( b => c < a => c & c => a < c => b )