Petunjuk T.40.1.

Lakukan pembuktian dengan mengejar keanggotaan pasangan \((x,y)\text{.}\)
in-context