証明 しょうめい しょう経路 けいろだろう
shōmei shō keirodarō

Noun
Da Copula

Expresses probability ("probably…") of 証明証経路

1. Likely a proof path.; Probably a proof route.

Presumptive
Conjecture
Computing