Description: If every vertex in a simple graph has degree 0, there is no edge in the graph. (Contributed by Alexander van der Vekens, 12-Jul-2018) (Revised by AV, 17-Dec-2020) (Proof shortened by AV, 23-Dec-2020)