Kleene's fixed-point theorem

  NODES