An application of discrete Morse theory