theorem :: COH_SP:33

for X being set holds id X in Toler_on_subsets X by Th30;