証明 しょうめい しょうであれば
shōmei shōdeareba

Noun
Da Copula

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

1. If it's proof; When it's proof

Ba Conditional
Computing