let f be Function; :: thesis: {} tolerates f
{} \/ f = f ;
hence {} tolerates f by Th130; :: thesis: verum