It is proved that the one-time pad is information-theoretically secure. encrypt.zip