証明 しょうめい しょう経路 けいろであれば
shōmei shō keirodeareba

Noun
Da Copula

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

1. If the proof path is…; If there is a proof path…

Ba Conditional
Computing