theorem :: NELSON_1:63

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