Fix the definition of cycle. Prove that you can reduce any acyclic graph to an empty graph by removing only leaf nodes.