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