本地ほんじ垂迹すいじゃくせつであれば
honjisuijakusetsudeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 本地垂迹説

1. If the local trace theory is correct; If the local trace theory were true

Ba Conditional