take CLS ; :: thesis: ( CLS is strict & CLS is reflexive & CLS is transitive )
thus ( CLS is strict & CLS is reflexive & CLS is transitive ) by Lm3; :: thesis: verum