theorem :: NELSON_1:64

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