Un DAG finito tiene por lo menos una fuente y un sifón.