Theorem For Discrete Memory Less Channel