谷山 たにやま志村 しむら予想 よそうであれば
taniya mashi murayo sōdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 谷山志村予想

1. If/When Taniyama-Shimura conjecture holds true.; If/When the Taniyama-Shimura conjecture is assumed.

Ba Conditional
Mathematics