Prove that in any digraph, the sum of the in-degrees of all vertices is equal to the sum of the out-degrees of all vertices