定理 ていりだったら
teiridattara

Noun
Da Copula

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

1. If [theorem]; When [theorem]

Tara Conditional