Degree of vertices and number of edges in a mixed graph (African Journal of Mathematics and Computer Science Research, 2023)