まがり げん定理 ていりであれば
magarikogenno teirideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 勾股弦の定理

1. If the Pythagorean theorem holds true; If the Pythagorean theorem is true

Ba Conditional