定理 ていりであれば
teirideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 定理

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

Ba Conditional