Several Theorems In Error Correcting Codes