F . r is Subset of T ;
hence F . r is Subset of T ; :: thesis: verum