Умный математик с самого начало просчитал все так чтоб работало.
Если б можно было "избыточность" сделать меньшей то сделал бы.