The document discusses a cryptosystem defined by its plaintext space (p), ciphertext space (c), and key space (k). It assumes that all spaces are finite and that the cryptosystem is perfectly secure with non-zero probabilities for all ciphertexts. The goal is to prove the inequalities relating the sizes of these spaces: k ≥ c ≥ p.