Round-six lemma `net_main`