Firstly, a graph G consists of a vertex set V (G), and an edge set E (G) of endpoints which relate two vertices with each edge. Also, a decomposition of a graph is a list of subgraphs such that each edge appears in exactly one subgraph in the list. In the field ofgraph theory, graph decomposition is an active field of research. One type of decomposition is graph pairs. A graph pair is a pair of graphs on the same vertex set whose union is the complete graph. Abueida and Daven studieddecompositions of complete graphs into graph-pairs of order four. In their proof, they left a small part to the readers. We will complete this proof
