Jawaban S.4.1.

Keberadaan \(p\) adalah tepat isi definisi keterhubungan lintasan untuk pasangan \(a,b\text{.}\)
in-context