ぎゃく もとであれば
gyakumotodeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 逆元

1. If the inverse exists; If the inverse element exists

Ba Conditional
Mathematics