証明 しょうめい しょう経路 けいろだったら
shōmei shō keirodattara

Noun
Da Copula

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

1. If the proof path...; Were the proof path...

Tara Conditional
Computing