theorem :: NELSON_1:62

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