theorem Th28: :: NELSON_1:49

for L being Nelson_Algebra
for a, b, c being Element of L holds (a => c) => ((b => c) => ((a "\/" b) => c)) = Top L