theorem Th2: :: FRIENDS1:2

for X being set
for R being Relation st R is symmetric holds
R .: X = R " X