Потому что это доказано путем симуляций