nuko abari aho twese twifata kumunywa turumirwa jya wumva inama wemere bakwigishe this process is also known as cap independent translation there are self contained proofs by richard dedekind among others