theorem Th5: :: COMBGRAS:5

for X, Y, Z being set st X \ Y = X \ Z & Y c= X & Z c= X holds
Y = Z