lemma: 0 equivalent to 0xA
proof that CCC + fixpoints + initial = trivial