Random_Graph_Subgraph_Threshold.Ugraph_Lemmas