theorem Th6: :: NECKLA_3:6

for R being symmetric irreflexive RelStr st card the carrier of R = 2 holds
ex a, b being object st
( the carrier of R = {a,b} & ( the InternalRel of R = {[a,b],[b,a]} or the InternalRel of R = {} ) )