$$\ast54.43.  
\vdash ((\alpha, \beta \in 1 ) \supset (( \alpha\cap\beta = \Lambda) 
\equiv 
(\alpha\cup\beta \in 2)))$$