Petunjuk R.75.1.

Dua himpunan buka tak kosong selalu mempunyai satu titik bersama.
in-context