Decomposition of Finite Graphs Into Forests