Proved? Coℕ-stronger-coind.
Working in Conat_coind.