  We present a short complete proof of the existence of the normal cycle of a
compact subanalytic set. The approach is inspired by some old ides of Joseph
Fu, uses Morse theoretic techniques and $o$-minimal topology.
