theorem Th13: :: ABCMIZ_1:13

for X, Y being set holds varcl ((varcl X) /\ (varcl Y)) = (varcl X) /\ (varcl Y)