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