theorem Th40: :: PROOFS_1:1

for A being non empty set
for R being Rule
for a being Element of A holds <*a*> is A,R -correct