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