証明 しょうめい みであれば
shōmeizumideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 証明済み

1. If proven; When proven; If it is proven; When it is proven

Ba Conditional