theorem :: MMLQUERY:64

for X being set
for L1, L2 being List of X holds ROUGH (<*L1,L2*>,2) = L1 AND L2