theorem Th30: :: WAYBEL_1:30

for L1, L2 being non empty RelStr
for g being Function of L1,L2 holds corestr g = g