Some Theorems on Abstract Graphs