Suzuki (2011) proved that the latter, together with some technical assumptions, implies Fesenko's conjecture.
Suzuki (2011) はある技術的仮定と合わせて後者がフェセンコの予想を導くことを示した。