String indexes and the proofs of the KRT

The proofs of the fixed-point KRT and of the original KRT arereproduced by using as indexes character strings instead of numbers,leading to the conclusion that these proofs always yield empty functions.