sentence1: polar codes provably achieve the capacity of binary symmetric memoryless channels when decoded with the lowcomplexity successive-cancellation algorithm .
sentence2: it is shown that polar codes can provably achieve the symmetric capacity of binary-input discrete memory-less channels .