“…Let the length of the first transmission blocn ∈ N be larger than (n 1 , n 2 , n 3 , n 4 , n 5 , n 6 , n 7 , n 8 , n 9 ) given by equations (39), (40), (41), (42), (62), (63), (64), (65) and (66). We prove that there exists a HARQ-code c ⋆ ∈ C(n, R, L) with stochastic encoder such that the error probability and the information leakage rate satisfy equation (38), for all channel states…”