証明 しょうめい しょう経路 けいろなら
shōmei shō keironara

Noun
Da Copula

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

1. If the proof path…; When the proof path…

Nara Conditional
Computing