theorem :: PREFER_1:2

for a, b being set st a <> b holds
{[a,a],[b,b]} <> {[a,a],[a,b],[b,a],[b,b]}