Category:Finite Connected Graph is Tree iff Size is One Less than Order