Prove itno2_disjunct_alists.