theorem :: PREFER_1:30

for X being set
for R being Relation of X st R is symmetric holds
R ` is symmetric