theorem Th6: :: PENCIL_1:6

for X being set st 3 c= card X holds
for x, y being object ex z being object st
( z in X & x <> z & y <> z )